$\forall$$j$:$\mathbb{N}$, $f$:(\{0..$j$$^{-}$\}$\rightarrow\mathbb{Q}$). ($\forall$$n$:\{0..$j$$^{-}$\}. 0 $\leq$ $f$($n$)) $\Rightarrow$ 0 $\leq$ $\Sigma$0 $\leq$ $n$ $<$ $j$. $f$($n$)